A Dynamic Programming Framework for Combinatorial Optimization Problems on Graphs with Bounded Pathwidth
نویسنده
چکیده
In this paper we present an algorithmic framework for solving a class of combinatorial optimization problems on graphs with bounded pathwidth. The problems are NP-hard in general, but solvable in linear time on this type of graphs. The problems are relevant for assessing network reliability and improving the network’s performance and fault tolerance. The main technique considered in this paper is dynamic programming.
منابع مشابه
Approximation Algorithms for Unit Disk Graphs
Mobile ad hoc networks are frequently modeled by unit disk graphs. We consider several classical graph theoretic problems on unit disk graphs (Maximum Independent Set, Minimum Vertex Cover, and Minimum (Connected) Dominating Set), which are relevant to such networks. We propose two new notions for unit disk graphs: thickness and density. The thickness of a graph is the number of disk centers in...
متن کاملCounting Homomorphisms via Hypergraph-Based Structural Restrictions
The way in which the graph structure of the constraints influences the computational complexity of counting constraint satisfaction problems (#CSPs) is well understood for constraints of bounded arity. The situation is less clear if there is no bound on the arities. Here we initiate the systematic study of these problems and identify new classes of polynomial time solvable instances based on dy...
متن کاملCombinatorial Optimization on Graphs of Bounded Treewidth
There are many graph problems that can be solved in linear or polynomial time with a dynamic programming algorithm when the input graph has bounded treewidth. For combinatorial optimization problems, this is a useful approach for obtaining fixed-parameter tractable algorithms. Starting from trees and series-parallel graphs, we introduce the concepts of treewidth and tree decompositions, and ill...
متن کاملA Practical Approach to Courcelle ’ s Theorem 1 Joachim Kneis
In 1990, Courcelle showed that every problem definable in Monadic Second-Order Logic (MSO) can be solved in linear time on graphs with bounded treewidth. This powerful and important theorem is amongst others the foundation for several fixed parameter tractability results. The standard proof of Courcelle’s Theorem is to construct a finite bottom-up tree automaton that recognizes a tree decomposi...
متن کاملMemory Requirements for Table Computations in Partial K-tree Algorithms
This paper addresses memory requirement issues arising in implementations of algorithms on graphs of bounded treewidth. Such dynamic programming algorithms require a large data table for each vertex of a tree-decomposition T of the input graph. We give a linear-time algorithm that nds the traversal order of T minimizing the number of tables stored simultaneously. We show that this minimum value...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0806.0840 شماره
صفحات -
تاریخ انتشار 2008